Fixing compilation errors in some protocol description files.

Reported and fixed by M. Horvat.