another minor fix