My first pull request

Jão, this is my first try at creating a pull request on GitHub. Nothing major, just wanted to learn the process flow.