small tweak to fix silly compile issue