fixed idris-hole-pattern a little