Bug 729001: Fix a minor typo affecting the profile option in the previous commit