Followup to #67