prod: minor simplification

Exactly logically equivalent, no functional change.

@wvanbergen