Fixes #1259