Corrected a typo in the colophon, following an email from Philipp.