fix code typesetting (1)