small fix for an unlikely problem