Micropachycephalosaurus ( meaning ` tiny thick headed lizard ' ) is a genus of ornithischian dinosaur from the Upper Cretaceous . Micropachycephalosaurus ( meaning `` small thick headed lizard '' ) is a monotypic genus of ornithischian dinosaur .