Pull req again

A pull req beginning with a revert:
That wasn't an error, that commit creates an error!