Small docs and style fix