Update docs, fixes #548