Add forgotten file for commit 3587a