Fix to compile with Coq 8.4pl5.
Taken from https://github.com/clarus/math-classes/commit/26cc561004681ddf31a5cbfad8573ddf2f2b8cf5?diff=unified