trivial fix: conform to width 80