2013-12-20: fix typo & add omitted link