* commit 'd973bed36cb4d4da1d97f309119f4114f60e7171': Removing dead store; it was likely a relict of debuging code.