Fixed: some minor errors pointed out to me by gcc