Updated documentation (cf. issue #99)