I think this already was tested in #2510.