A few simple utilities.