Fix another minor annoyance