improve specification