Don't allow empty player names. Fixes #17