Android doc tweak.