Another very tiny tweak to ensure no compiler warnings