add some simple utilities