Remove a bit of UIUC stuff