Fixing stupid bug caused by Android's optimization