Issue 74

nearly the same as #73, just different preconditions