Fixed a bug related to the removal of implicit header