another Android tweak

hopefully the last one