Fix issue #171: No error for unspecified mixin parameter