GitHub #214: Use numerical, not ASCIIbetical, sorting for layers