lakedistrict
No it is correct, area codes in some parts of Cumbria are longer than usual.
FYI: Kendal 01539
Windermere 015394
Grange over Sands 015395
Sedbergh 015396
and 
Penrith 01768
Appleby 017683
Pooley Bridge 017684
Keswick 017687