9.5 Isabelle Pagefix 2

For real this time.