minor changes to int17 homepage