Fix obsolete comment re jQuery UI tabs accidentally committed