pre-breakfast push: fixed a bug in fraction simplification