2013-12-23: adjust code and result
2013-12-23: fix typo