Ok, I don't feel too strongly about this, but I took the short version now :)