An Observation Concerning Porte's Rule in Modal Logic