Some compilation-time problems corrected