The problem is more severe.  You actually deleted node 4418285604, which had amenity=college.

To put it otherwise, you told the map that there is no college at all, yet 3 buildings have "IHECS" in their name.  If someone wants to list all the places offering higher education in Brussels, IHECS will *not* show up.  That is a problem.

I created a multipolygon to restore IHECS, with the amenity=college tag, including those 3 buildings.

Have a nice day.