fixes some minor (and some major!) issues caused in the recent update to Flash Player 10.1