fix #3823 (thx kloot!)