1.8.0 (a) and (b) 6. February 2016 Christian Kaiser Meant as fix for a crash, but also improves the readability of the settings