Text this: On Koyama's refinement of the prime geodesic theorem.