Formatting fixes
jQuery terminal plugin