Fix bug in installer