small fixes #3