Oh bizarre - thanks for letting me know about this! I'm using a pretty old soundfont player that is sadly no longer maintained so I wonder if that's causing issues.