small fix in previous commit