Fix missing header definitions for typing notifications