Corrected content of the implementation chapter