Fix to Agda syntax file.