Better docs (fixes #4).