fix code typesetting (9)