Minor bugfixes to PostReceiver

Fixed a build error or two.