maint.tex: restored title spacing