bugfix in makePublic()