merge followup: add missing include