Minor changes to gameplay-encoder.