We need a license header here; see http://www.mozilla.org/MPL/headers/