restoring vanished code

see issue #339