fix code typesetting (2)