.tip correctly undoes margins that it resets.