printing out ABCD correctly (b/c I overwrote the copy pasta)

Signed-off-by: Aaron Chiu <aaronechiu@fb.com>