To fix a bug