fix an installation issue