Fix a couple nits in the install