fix what appears to be a bug