Hard dimensions for #58.