polishing some statements