Slightly improved documentation