Fixed small bug in android export