gustafn
committed
on 12 Jan 18
typesetting changes