Huh, this change has anything to do with preferences not working in Android? Seems weird.