Good to know. This should be fixed with the below additional commit.