Changed \texttt{SS3} to SS3; fixed some citations