Cross-server tipping - fix stupid error