Made #985 compliant with jQuery UI team's style guide.