Apparently cvs forgot to commit this with the rest.