PR should be merged now, thanks for reporting.