+ fix a javascript warning