tinyxml: Fix patch syntax

I used incorrect syntax for an optional patch, and this fixes it.