This has been fixed in the last commit (github did not pick the change in this diff view).