Found a bug, will discuss later