fix #3641 (dummy commit, a15c7f7b ate the cake)