I assume this should not be part of this PR? Did something go wrong?