Correct my last commit (revision 256860).