Subject: done

From: Tom Tromey <[email-masked]>
Date: Sat, 14 Jan 2017 10:46:43 -0700

These were both fixed by 05fe74bec239bebea84cb6803120321c367d67d3.

Tom