I'm the author of the tool used to generate the doc. And yes this is just my mistake (I don't use back button so much during testing so never noticed this). Will fix it asap.