I did that earlier, but I get a ``NumberFormatException`` if the value in the header is not an integer and that is not too informative to the user reading the logs. Alternatively I have to catch ``NumberFormatException`` and re throw a more meaningful one. You pick one approach.