Fix bug introduced by modification of maux behavior in PetClaw from last commit.
Fix bug introduced by modification of maux behavior in PetClaw from last commit.

unterweg/peanoclaw,unterweg/peanoclaw,unterweg/peanoclaw,unterweg/peanoclaw,unterweg/peanoclaw,unterweg/peanoclaw