fixes #3064