fix #243, I think