Updated documentation (fixes #84)