Fix bad specification.

@jtuple