13.01 small fixes