Minor fix in compile-time test