mathlib

2194ceca - added a change suggested during code review