A few niceties