Nitpick on javascript warning