fix an error introduced in previous commit