Bug fix in documentation Tim found.