Fixes #540. Fixes #541.