Corrected BSD header