Useless (afaik) bit of code

It didn't seem like it was being used for anything