Some code polishing