ob-maxima-test: Tiny cleanup