diff --git a/intra.cpp b/intra.cpp
index 54893dfa..08e048c8 100644
--- a/intra.cpp
+++ b/intra.cpp
@@ -523,7 +523,7 @@ EX void shift_view_portal(hyperpoint H) {
   println(hlog, "maxv = ", maxv);
   shift_view(H * maxv);
   check_portal_movement();
-  shift_view(H * (1 - maxv));
+  shift_view_portal(H * (1 - maxv));
   }
 
 EX const connection_data* through_portal() {