a minor fix of contrank