Issue #45: fix post-tie rankings

Issue #45: fix post-tie rankings