fixes #1432

eeed