Fixes #567. Fixes #568. Fixes #562.