More formatting changes to user stories