Refs #10535 coding change suggested by Andrei