bug fixed in an incomplete assertion in power.cpp