little bug in documentation