redo fixes issue #74