I wonder if they meant to do that... It is the only time in the whole document.