use a code display to avoid some bad typesetting