minor edits to fix issues mentioned by peter