Minor fixings