Notifications fixes in devel-themes