quick specification fix