#8: more doc updates