a few tiny tweaks
Merge pull request #11 from yihui/patch-1

a few tiny tweaks