Opened as #603.