minor changes
make github work :(