minor fix to previous commit