Fix bogus error due to IDEA-134059