* (bug 33483) One space to much in header of auto-generated documentation