changed join to less pointfree in substitution: