another minor fix to Checkmagic