Minor change in TOMLAB settings