"Try putting X:1 on the first line of your ABC. I don't know what it means, but it often solves the problem."

I don't think it's the format of the user inputted abc causing this.

Has anyone contacted Simon to let him know there is a problem?