some formatting (backported from 8.6)