Issue #9: Tweak documentation