Undo a small difference introduced in #2814, should fix #2815