minor fix from previous commit