Removing some debugging lines. Sorry.