Fixes #653. Fixes #637.