This comment seems wrong now :)