@yuhunglin no we don't, good catch.
I removed it in a follow up commit.