Fix minor syntax error introduced in c90bf9ff1495b2615a68a2982aa0408cb153ea63