some simple niceties