fixed small issue introduced in #5096