Minor paper improvements