upgrade: tighten installed precondition
upgrade: use a method rather than a boolean flag
upgrade: fix typo