Minor update to fix a small annoyance