Corrected a bug in installation procedures