fix for #18: Interface elements too small