Another minor setup fix