Fix small docs error.