nit: github warns me that we lack a newline at the end of the page, indeed it is usually recommended ;)