Fixing number in header comment