Appendix to ‘Roth’s theorem on progressions revisited,’ by J. Bourgain