piranha: small piece of internal todo.