[ Agda ] Fixed issue 1214