Bump example to 0.13 and make sure it validates