Fix details in dejong example