2 tiny amendments (fixes #2)