Fixed a compilation error introduced by Abdul's

last commit.