minor android fix