Corrected bugs in the install-check