small fixes #4