Fixing minor bugs with propagation priority switch