"minor fixes"