Document options better

Fixes #2.