Fix for usage docs on dumpLineNumbers option