fix: correcting a compilation error