Remove a business engineer from Project

We were a team of 3 working on a Mendix project and two were business engineers. One of them left last week to a new group, and we removed him from the project via project dashboard/Team/Manage Team. Today, I noticed that he can still open our project via Mendix Studio Pro.  Is there anything else that we needed to do when removing him? Is it something we can fix now?    
1 answers

If the person still has a copy on his/her computer the person can open the project. But the person is unable to update or commit. Nor can the person do a fresh download of that project.