small fixes for working with Schunk