(hopefully) final fix to Android scaling issues.