Fixing one more problem with new util::protect