Renamed doc with shorter name.