Update documentation to match reality

Fixes #5.