The final dot had been removed in 0fa2d57b0621f30a72cf3e6ffe866a62626f3562. While not doing it makes sense, this may cause conflicts in the future.