#11: tidy up the documentation