quickfix to Denizen changes