Minor: improve documentation