add trailing semicolons, solarize alias