typos corrected after Philipp's review