— Minor GUI improvements and small updates to the documentation