Minor fixes to the install-check