some minor polishing