Fixes a minor mistake.