Just a small trivial obviously correct update...