minor change, an ugly but workable frontend