Fix mistake from last commit which broke the server