Indeed. I doubt anyone at the BBC ever read the SDSR 10 document.
Navy to 29k by 2020 and as you say RAF to 31.5k By 2020, noting that numbers currently sit at 32k and the 2020 31.5k figure will be reached by spring 15 it seems.
It's all about the Army remember!