bugfix related to devel