Fix up the basic documentation