Very nice. I refreshed my understanding of the model to check your code - the only nit I found is that it seems that "Laplace smoothing" refers specifically to the case where $k=1.

An interesting extension might be to try out Text::DoubleMetaphone