Marking as fixed, per comment from Jan.