I copied this from Philip's code. So you should tell him to do the same.