Oversight in my changes to cope with possible errors during message processing; spotted by Joachim Wieland.
