This shouldn't have had an effect, since the soft max was
larger than the max, but it is still incorrect. Caused by a
typo in rBA104ba1c5682016a55. Thanks to @MKRelax
for pointing this out.