Agda mode fix