Yes, this was fixed some time ago in the SEDarwin sources. The SEBSD code really needs to be updated from the work done in SEDarwin, which includes an up-to-date version of the SELinux userland pieces. - todd