This fix seems a bit pedantic. Both forms are acceptable.