Fix lies in documentation.