small fixes #5