Small fix in postface