slight optimization for change in e867a444b71ccc82e7f2ef364064825a7650fc63, refs #873 and #233