Fixing the duplication of the declaration