Fix a merge fail that happened when I merged in Android. It is just a bit of duplicate code, no issues came from it.
