Miscellaneous debugging.