Fixes #728.