Fix hash in stateful module