OCD stuff. This will likely have to be updated in other places.