Fixed typo as merged in #4190