A very minor fix