Fix bad return type in selinc seldec