Deleted stuff missed in previous commit.