fix power set spec