Fixing some typos from commit earlier today that caused weird doxygen formatting