fix #781 spec refinement of dynamic members