Fix up some documentation