misc

miscellaneous odds & ends