That's the correct fix.