Fix minor compilation issue.