Update binali.py

Some cosmetics.