Coke is worse than coal. Coke is also made from coal, so it actually is plausible that people shorthand the two together.