fix tabulation cosmetcs in protocol definitions