Fixes #539. Fixes #537.