[Observe-commits] 01/01: Fix bad topia generation (Fixes #8934)