Fix mushroom CTM bug: Closes #12