Minor correction for Android