minor fix which I had planned to include in the previous commit