workaround for JS, see http://youtrack.jetbrains.com/issue/KT-4479