Documentation tweak (#33)