Minor simplification.

This is equivalent.