#9: additional doc update