Remove a (useless?) @Pre annotation