You're right, there it was on p. 2 of Technical Report 4. :P