add missing nothrow attribute