Compilation fix to previous commit.