I had some debug code there and removed it. It seems that I accidentally changed the indention. I would have removed that one if Github had a cherrypick function for pushing/pull requests.