Minor cleanup.

Authored by featherless on Mar 15 2017, 12:08 PM.

Description

Minor cleanup.

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.