adapted to Isabelle b0b9a10e4bf4