Minor readability fix suggested by @sciunto