slight simplification of two specs