A connectedness theorem over the spectrum of a formal power series ring