Fixes for doco