Fix wrongness of docs