Checked in the code of the extension