Removed directive about an unused include file.