Fix for case when useDevel() was already used