Fixes due to different rendering on GitHub