taverner: Consistency with other printfs