One more minor fix for the previous fix.