Revert "workspace change"

This reverts commit 8db05d0e3ff5677565da4d0f7ef442ded76b568e.
Fixed check_hash

Forgot a ":"