Add forgotten file

Something weird happened and this file did not get properly added in the last commit