Correct syntax introduced by last commit.