(miscellaneous.h) Get rid of some extranous else