chiark / gitweb /
Check correctly for the case where no player is found.