fix code typesetting (4)