Fixes #520. Fixes #526.