Fix hints after 28cf08ea4b055117274725bd86054ba75668c3a7