fixed lstlisting appearance in implementation.tex