Yet another minor fix