Fix (again) for badly converted short tag

This was already fixed, but commit d2ac28e364fb1e0d464b1719f2f3fb30edd54f1e reintroduced this.