little-little fix

for very-very rare cases...