Good call. Will fix and force push a new commit.