add tag in Ref construct to handle finite case. Should fix #2.