Coke-making operations