Minor silly corrections