WyRL: some minor tweaks