A few niceifications