Fix broken flag record spec