buxfix on --devel