Fix doc generation. ##