Minor formatting change. Also, tested on Debian 7