diff --git a/contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java b/contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java
index 4004d9737a6c0d0650b69acf1777b927f0ab9680..2310b26c2a4d3924c0ec14ad5fd23207d9d6e68e 100644
--- a/contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java
+++ b/contrib/mobile/Android/src/org/geuz/onelab/AboutActivity.java
@@ -126,6 +126,7 @@ public class AboutActivity extends Activity{
     }
     else if(item.getTitle().equals(getString(R.string.menu_save))){
       _webview.loadUrl("javascript:( function () { window.HTMLOUT.myJsCallback(document.body.innerText); } ) ()");
+      // FIXME: should reload the page to correctly re-highlight
     }
     return super.onMenuItemSelected(featureId, item);
   }