Minor formatting change (removed $ from Unix cmds).

Can be put back after class session.