Fixed another call of allCompletelyImplemented