fix code typesetting (8)