A minor fix