Minimal but important change in documentation