Fix GitHub Issue # 3: increase size of user annotation box