Some minor refinements