Fix up doco a bit