Back at the start of September, I noted that Tschopp and Mateus (2016) had published a petition to the ICZN, asking them to establish Diplodocus carnegii as the type specimen of the genus Diplodocus — a role that I argued it already fulfils in practice. I wrote a formal comment in support of the petition, which I submitted on 7 September;