miscellaneous refinements