Fix another docs build warning