You're right. Will update this in master, thanks.