fixes #5311 #5312