kleine bug fix in het selecteren van userid's per board