Fixes #665.