A minor fix.