(minor) fixup to tshrec