diff --git a/build.xml b/build.xml
index ab48f7eb..0290387d 100644
--- a/build.xml
+++ b/build.xml
@@ -169,7 +169,9 @@
       <exclude name="**/ModPlayer.java"/>
       <exclude name="**/MidiPlayer.java"/>
       <exclude name="**/Mp3Player.java"/>
-      <!--<compilerarg value="-Xlint:unchecked"/>-->
+      <compilerarg value="-Xlint"/>
+      <compilerarg value="-Xlint:-serial"/>
+      <compilerarg value="-Xlint:-unchecked"/> <!-- TODO: fix -->
     </javac>
   </target>
 
diff --git a/src/java/com/threerings/stage/tools/editor/PortalTool.java b/src/java/com/threerings/stage/tools/editor/PortalTool.java
index ce87e623..2bb8486c 100644
--- a/src/java/com/threerings/stage/tools/editor/PortalTool.java
+++ b/src/java/com/threerings/stage/tools/editor/PortalTool.java
@@ -68,9 +68,10 @@ public class PortalTool extends MouseInputAdapter
         switch (event.getButton()) {
         case MouseEvent.BUTTON1:
             savePortal();
-            // fall through to BUTTON3
+            break;
 
         case MouseEvent.BUTTON3:
+            savePortal();
             dispose();
             break;
         }