slightly-improved documentation