Idris 0.9.15.1

No problem. And thanks for pointing out that helper method!