Hi - this is not an informal crossing, as it is at an intersection and there are sidewalk extensions on either end.

Please review the tagging guidance on the Wiki:
https://wiki.openstreetmap.org/wiki/Tag:crossing%3Dinformal
https://wiki.openstreetmap.org/wiki/Tag:informal%3Dyes

I have fixed this error in Changeset: 152693268