Diminish android-mode a bit more