Make jsHint happy