Small changes to LaTeX code after running 'lacheck'