added a missing header
Fixed duplicated declaration