Good idea; I'll add this shortly