Adding a reference pointing to a more general result
Undo part of commit df0bee57be1a6602cb190c3f49480a3c89fe1d43

This was just completely wrong!