now with correct specification