Fixes #529. Fixes #530.