Minor update to installation documentation