I pushed a commit for that just now, thanks.