added refinements to internal module