#162 a bit tidier, now in italic