Made JSlint happy