@tanghus should the comment be moved as well? Just asking