Fix issue with \lim being typeset wrongly