Minor tweaks

Testing ICEcoder's GitHub integration