Should be fixed once #4679 is done.