Fixes #615.