Fix copy-paste error in typedef