a few simple but handy utilities