Fix apparently incorrect template format for sizes and devices.

Fixes #432 .