Fix header in protocol spec (fixes #360)