Fixes #1726