Another minor fix