minor fix to the spec messages