fix: bug in subst