Fixing duplicate THEN statement on make check