Correctness fixes WIP: view doesn't mount