Fixing extension definition.