Code fixes after the meeting on 9 Oct in the library.