Another small protocol fix.