small updates before switching to Eclipse IDE