router_optimise: small nits that don't affect anything