trivial: small fix to last commit.