adjust dinst.adb's expectations for location views