I already uploaded this as 1.3.3-5 before I realized I don't have push privs. So here's a merge request!
