slightly improved documentation