tiny tweak, refs #125