fix for http://youtrack.jetbrains.com/issue/MPS-19709