Issue with documentation (fixes #18)