hunting a fault causing a server-error in diff-view