fix #3910 (typo)

Thanks Kloot! :)