minor modification in tiny_private