missing header; misc stuff