get_player workaround; Resolves issue #10.