2013-12-01: add omitted text