another minor fix to prior commit