two small fixes for totest 13.2