Fixes lint error W004 in src/shared