Minor fixes

Testing IRC bot PR notification :)