I think HR has made a mistake calculating my annual leave. I work 4 days a week, full time would get 20 days plus 9 bank holidays. Can anyone work out what my leave should be?