! minor fixes