provide explicit constructor to appease GCC