Ah, yes. The pronunciation changed over the years and nobody in recent memory can remember when Greek was tonal (I'm not entirely sure when this was), but we got rid of it about 60 years ago? My dad can remember writing in polytonic, but it didn't make any difference to pronunciation by then.