Trivial Cleanup

A minor cleanup of a needless development note.