Fixes typo

Thanks to Christian Takle.