minor GUI fixes, parsing solutions