minor fix in previous commit