Made some notes on a potential bug