fix for the nasty stack overflow in the doc language