Fix bug in develop