Some last-minute updates

Signed-off-by: emanuele <emanuele45@gmail.com>