fix #12277

Thanks to @Quy for pointing these out.