Fix per Corinna's request