update to use to-no-case