fix some errors in Idris 0.9.12