removed duplicate headers from src/