I'd not spotted it but that would not mean it was not there. You would probably need to wade through this to find if there was a bug that was fixed although that only goes back to 2003 (abcmidi is older than that and has had a change of author/maintainer). I'd doubt there is a simple switch to do customise this behaviour but I could be wrong...