Fix bug #955: fix format of last modified date in the wiki summary