Fix bug in ?k example