small modifications to semcheck.