Use real arrows, not entities
Fix a minor PHP bug

This was causing an error to be thrown.