Oops! Forgot to rename the header. Thanks to Jeffrey Yasskin for spotting this.