#707 and #709