added missing print in genkat