Small fix for docs.