Issue #8: last modified time is wrong