minor syntax clean up in design notes