et#12 #13

Open
tribikram wants to merge 3 commits from et#12 into master