I'm using PHPStorm. This is fixed now.