Fix syntax error introduced in c82c6ff3ad893db85358c6596016559029ddf725

Thanks to @johnallen3d.