Discrepancies in two examples in v1.5