-Fix: some minor typos (as pointed out by #8)