magic-hat, fix typo

Authored by AkshayCHD on Jul 1 2019, 11:08 PM.