Tweaks in @safe and nothrow qualifiers