setting_up_a_project: additional minor fixes

as noted in the discussion of the pull request

Signed-off-by: Martin Zenzes <martin.zenzes@dfki.de>