Thanks, pushed a similar fix.