small fix of the devel branch