Fixing mistake made in d697838875c9acb439773e6394015db956ca3f51