small fixes: echo -e