correct triple-linkage

There were some syntactic problems with the definition.