Fixes after proofreading