Fix idltest markup

This addresses #238.