Interaction spec: style fixes