fix -Wredundant-decls