Make the Firefox console happy