Android: Small UI tweaks