once you are inside the network, all bets are off anyways. Once I'm inside the network, I can ARP-spoof the gateway and get to all traffic anyways - no additional decryption needed.
While this might be a nasty oversight in the spec, for all intents and purposes, it is IMHO irrelevant as there are way easier methods to get at the data of other users in the network.