Fixes for ISML comments.