minor: weird indent?