fixed another cross-language mess-up