Minor: documentation