Fix bug already fixed in devel