Fixes #693.