Correct bug in example causing malformed Avalon transactions