fix bug in ChristophidesReader