Addendum to 'Revision of the Late Jurassic teleosaurid genus Machimosaurus (Crocodylomorpha, Thalattosuchia)'. Issue 2 (25th February 2015) - Young, Mark T.