Some unimportant enhancements