Fix docs annotation 'area'