some simple utilities