Positivity of the image imposed for applyReciprocityFailure
(#552)