Fixes #4069: correct property name