Fix for issue #5: idmacs_skip_if_not*.js: Wrong function comment