minor #225 Minor tweaks for the previous merge (javiereguiluz)
minor #225 Minor tweaks for the previous merge (javiereguiluz)

This PR was merged into the 1.0-dev branch.

Discussion
----------

Minor tweaks for the previous merge

Commits
-------

8503cab Minor tweaks for the previous merge

symfony/symfony-installer,javiereguiluz/symfony-installer