Fix bug for gcc