Standardize JS symbol naming convention. Fixes bug 819478