Update: fix small problem