miscellaneous debugging