Update hotfrog-uk.jl