SML+DOC: minor changes to feature description