Fix platform.android_version() docstring.