Fixes #2512