Minor change should fix a problem