/cc @RongGu make sure you catch this correctly in the Tachyon PR if this is merged... this will be easy to miss.