fixes #2531