Did you know that although it was first classified as a reptile , the extinct genus Batropetes is now known to be a microsaur amphibian ?