fix code typesetting (6)