miscellaneous housekeeping