Minor fix of hamlet