small refinements b