Bug with EiffelProject function.