[Minor bug]