Oops, those two lines are a leftover of some debugging I made. You can safely remove them.