A bit of code polishing