Small fix to bring html version of spec inline with pdf version