Minor fix to avoid redundant empty annotations.