(hopefully) fix #4512