Improve documentation (fixes #33).