use jslint, fix #16