Fixes #1249