Some debugging lines removed.