yet another minor fix