Well, there is a TODO: improve in the comment...