Small additions & typos