Bug#4028

BUG: fixes #4028