Added detail to the proposition on local L-packets and QPE.