fixes one stupid warning