Ossification of the petrosphenoid ligament - a case study.