Fix some errors in 4: Realisation