minor MUG fixes