Fixing docs for #17