added the linenos option to the code in post