updates comments at semcheck