small tweak for ajax spinner