fix a frontend bug