It could be that there is a bug. I will have to check.

The reason for not having a "role" field in the user table is simply that it was the easiest solution.