docs, fixes #15