small fixes for benno