Less general rank-2 type on objective-function parameter of 'maximize' a...

Per my comment in #4.