Resolves #413.