stripe-core: minor haddock updates