Some debugging code removed