The only thing that I can assume is that the 9000 was an at or above altitude. If you see 9000 in bold font and the higher altitudes are in small font, then the aircraft is telling you the altitude that it plans on crossing those points on profile. If the 9000 was not a hard altitude ie. NOT an at or above, then it is a glitch to climb back up between points. I am assuming that the 9000 was actually an at or above, but the part that confuses me is the 9700 then the 10200, as those two would be reversed in the descent ie. 9000 was an at or above, then it would be 10,200, 9700, 9000 as the descent continued. Just an assumption.