a fix for a bug