Oh, I see, this is the simple version addressing my [comment](#issuecomment-24923645). Don't worry about this for now.