fix narrowing problem in pophint--get-hints