Why isn't the `time` property renamed here? By chance?