Fixes broken deepdive-mark due to 4ef7c6693a0a23d6e1c1dba50263f08e474d2472
Fixes broken deepdive-mark due to 4ef7c6693a0a23d6e1c1dba50263f08e474d2472

HazyResearch/deepdive,zifeishan/deepdive,HazyResearch/deepdive,shahin/deepdive,sky-xu/deepdive,sky-xu/deepdive,zifeishan/deepdive,shahin/deepdive,HazyResearch/deepdive,zifeishan/deepdive,HazyResearch/deepdive,zifeishan/deepdive,zifeishan/deepdive