fix for a bug