Minor pedantic correction