fix some doco