Fix some bogus bug