miscellaneous.h - Indenting nits