address two minor comments
(#563)