I'd prefer \texttt{} over normal for paths, there were both styles next to each other which is definitely wrong.