Fix some mistake reported by Chiara.