Fix bug in installation check