Error: Problem not found in database: remove-leading-zeros