fix doco bug