Refs #74: trivial fix