Fix millisecond conversion
Another missing header