BUG: Fix #3124