only cosmetic changes to make the compiler happy