Minor bug fix in installer.