In commit 20233fa , I check on the project name instead, just to be on the safe side.