* Added missing header, this was broken by removal of an include from another file that wasn't supposed to be there