Thanks. I commited the change you requested.