Fix issue #119 and do other minor improvements on getstarted.html