Fix missing header inclusion for symbol specs