Maybe fixes bug #2291 (red tinted screen on some Samsung Android devices)

Then again, maybe not!