Thanks for the reply. We do use those areas but not for this particular user, so like you, we're confused. In the end, I created a new user from scratch, with the same information and the system was happy with that.
Maybe an issue when copying users sometimes?