Adding missing header to the files listed in issue (fixes issue 85)