diff --git a/libs/ev3/pxt.json b/libs/ev3/pxt.json
index a5c384c2..61752d25 100644
--- a/libs/ev3/pxt.json
+++ b/libs/ev3/pxt.json
@@ -12,7 +12,6 @@
         "color-sensor": "file:../color-sensor",
         "touch-sensor": "file:../touch-sensor",
         "ultrasonic-sensor": "file:../ultrasonic-sensor",
-        "infrared-sensor": "file:../infrared-sensor",
         "gyro-sensor": "file:../gyro-sensor"
     },
     "public": true
diff --git a/pxtarget.json b/pxtarget.json
index 30dddfd8..31111b63 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -89,6 +89,8 @@
         "termsOfUseUrl": "https://go.microsoft.com/fwlink/?LinkID=206977",
         "githubUrl": "https://github.com/Microsoft/pxt-ev3",
         "boardName": "LEGO Mindstorms EV3 Brick",
+        "selectLanguage": true,
+        "highContrast": true,
         "docMenu": [
             {
                 "name": "About",