Shouldn't this be a 4-space indent?