Fixes due to different rendering on GitHub, 2nd try